Victor Braberman: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Quantitative dynamic-memory analysis for Java

Diego Garbervetsky, Sergio Yovine, Víctor Braberman, Martín Rouaux, Alejandro Taboada

Journal:

Concurrency and Computation: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 349 KB

english, 2011

2

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Simulator-Based Diff-Time Performance Testing

Postolski, Ivan, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Year:

2019

Language:

english

File:

PDF, 410 KB

english, 2019

3

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Simulator-Based Diff-Time Performance Testing

Postolski, Ivan, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Year:

2019

File:

PDF, 410 KB

2019

4

Interaction Models and Automated Control under Partial Observable Environments

Ciolek, Daniel, Braberman, Victor, D'Ippolito, Nicolas, Piterman, Nir, Uchitel, Sebastian

Journal:

IEEE Transactions on Software Engineering

Year:

2016

Language:

english

File:

PDF, 470 KB

english, 2016

5

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Automatic verification of real-time designs

Braberman, Victor A.

Year:

1999

Language:

english

File:

PDF, 256 KB

english, 1999

6

[ACM Press the 2006 OOPSLA workshop - Portland, Oregon (2006.10.22-2006.10.23)] Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange - eclipse '06 - A toolsuite for the verification of real-time systems in Eclipse

Cavatorta, Lucía, de Caso, Guido, Ferrari, Andrés, Braberman, Víctor, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando, Olivero, Alfredo

Year:

2006

Language:

english

File:

PDF, 586 KB

english, 2006

7

[ACM Press the 7th International Workshop - Madrid, Spain (2009.09.23-2009.09.25)] Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '09 - On transforming Java-like programs into memory-predictable code

Garbervetsky, Diego, Yovine, Sergio, Braberman, Víctor, Rouaux, Martín, Taboada, Alejandro

Year:

2009

Language:

english

File:

PDF, 745 KB

english, 2009

8

[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - An architecture-centric approach to the development of a distributed model-checker for timed automata

Schapachnik, Fernando, Braberman, Víctor, Olivero, Alfredo

Year:

2002

Language:

english

File:

PDF, 87 KB

english, 2002

9

Summary-based inference of quantitative bounds of live heap objects

Braberman, Víctor, Garbervetsky, Diego, Hym, Samuel, Yovine, Sergio

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.29 MB

english, 2014

10

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Synthesis of live behaviour models

D'Ippolito, Nicolás Roque, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Year:

2010

Language:

english

File:

PDF, 474 KB

english, 2010

11

Probabilistic Interface Automata

Pavese, Esteban, Braberman, Victor, Uchitel, Sebastian

Journal:

IEEE Transactions on Software Engineering

Year:

2016

Language:

english

File:

PDF, 590 KB

english, 2016

12

[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.03-2010.05.03)] Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10 - My model checker died!

Pavese, Esteban, Braberman, Víctor, Uchitel, Sebastian

Year:

2010

Language:

english

File:

PDF, 269 KB

english, 2010

13

Dynamic Update of Discrete Event Controllers

Nahabedian, Leandro, Braberman, Victor, DIppolito, Nicolas, Honiden, Shinichi, Kramer, Jeff, Tei, Kenji, Uchitel, Sebastian

Journal:

IEEE Transactions on Software Engineering

Year:

2018

Language:

english

File:

PDF, 4.18 MB

english, 2018

14

On Improving Backwards Verification of Timed Automata (Extended Abstract)

Victor Braberman, Carlos López Pombo, Alfredo Olivero

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 149 KB

english, 2002

15

Specification Patterns: Formal and Easy

Asteasuain, Fernando, Braberman, Víctor

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2015

Language:

english

File:

PDF, 947 KB

english, 2015

16

[IEEE 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - Behaviour Abstraction Coverage as Black-Box Adequacy Criteria

Czemerinski, Hernan, Braberman, Victor, Uchitel, Sebastian

Year:

2013

Language:

english

File:

PDF, 221 KB

english, 2013

17

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models

Pavese, Esteban, Braberman, Víctor, Uchitel, Sebastian

Year:

2009

Language:

english

File:

PDF, 436 KB

english, 2009

18

[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - Observing timed systems by means of message sequence chart graphs

Blaustein, Sebastián, Oliveto, Fernando, Braberman, Dr. Víctor

Year:

2002

Language:

english

File:

PDF, 76 KB

english, 2002

19

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Controller synthesis: From modelling to enactment

Braberman, Victor, D'Ippolito, Nicolas, Piterman, Nir, Sykes, Daniel, Ucriitel, Sebastian

Year:

2013

Language:

english

File:

PDF, 393 KB

english, 2013

20

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - Validation of contracts using enabledness preserving finite state abstractions

de Caso, Guido, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Year:

2009

Language:

english

File:

PDF, 199 KB

english, 2009

21

[ACM Press the 7th international symposium - Tucson, AZ, USA (2008.06.07-2008.06.08)] Proceedings of the 7th international symposium on Memory management - ISMM '08 - Parametric prediction of heap memory requirements

Braberman, Víctor, Fernández, Federico, Garbervetsky, Diego, Yovine, Sergio

Year:

2008

Language:

english

File:

PDF, 451 KB

english, 2008

22

[IEEE 2014 14th International Conference on Application of Concurrency to System Design - Tunis La Marsa, Tunisia (2014.6.23-2014.6.27)] 2014 14th International Conference on Application of Concurrency to System Design - Controllability in Partial and Uncertain Environments

D'Ippolito, Nicolas, Braberman, Victor, Piterman, Nir, Uchitel, Sebastian

Year:

2014

Language:

english

File:

PDF, 521 KB

english, 2014

23

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Directed Controller Synthesis of discrete event systems: Taming composition with heuristics

Ciolek, Daniel, Braberman, Victor, D'Ippolito, Nicolas, Uchitel, Sebastian

Year:

2016

Language:

english

File:

PDF, 375 KB

english, 2016

24

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Model checker execution reports

Castano, Rodrigo, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Year:

2017

Language:

english

File:

PDF, 213 KB

english, 2017

25

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Automated reliability estimation over partial systematic explorations

Pavese, Esteban, Braberman, Victor, Uchitel, Sebastian

Year:

2013

Language:

english

File:

PDF, 644 KB

english, 2013

26

Enabledness-based program abstractions for behavior validation

Caso, Guido De, Braberman, Victor, Garbervetsky, Diego, Uchitel, Sebastian

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 468 KB

english, 2013

27

Declaratively building behavior by means of scenario clauses

Asteasuain, Fernando, Braberman, Víctor

Journal:

Requirements Engineering

Year:

2017

Language:

english

File:

PDF, 2.04 MB

english, 2017

28

Issues in distributed timed model checking

Víctor Braberman, Alfredo Olivero, Fernando Schapachnik

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 1.05 MB

english, 2005

29

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Synthesis of live behaviour models for fallible domains

D'Ippolito, Nicolás, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Year:

2011

Language:

english

File:

PDF, 414 KB

english, 2011

30

[ACM Press the 1st International Workshop - Bergamo, Italy (2015.08.31-2015.08.31)] Proceedings of the 1st International Workshop on Control Theory for Software Engineering - CTSE 2015 - MORPH: a reference architecture for configuration and behaviour self-adaptation

Braberman, Victor, D'Ippolito, Nicolas, Kramer, Jeff, Sykes, Daniel, Uchitel, Sebastian

Year:

2015

Language:

english

File:

PDF, 296 KB

english, 2015

31

Less is More

Pavese, Esteban, Braberman, Víctor, Uchitel, Sebastian

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2016

Language:

english

File:

PDF, 1.37 MB

english, 2016

32

Extending Timed Automata for Compositional Modeling Healthy Timed Systems

Víctor Braberman, Alfredo Olivero

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 382 KB

english, 2002

33

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Hope for the best, prepare for the worst: multi-tier control for adaptive systems

D'Ippolito, Nicolas, Braberman, Víctor, Kramer, Jeff, Magee, Jeff, Sykes, Daniel, Uchitel, Sebastian

Year:

2014

Language:

english

File:

PDF, 552 KB

english, 2014

34

[ACM Press the 11th International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '16 - Runtime controller synthesis for self-adaptation

Uchitel, Sebastian, Braberman, Victor A., D'Ippolito, Nicolas

Year:

2016

Language:

english

File:

PDF, 203 KB

english, 2016

35

[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - Minimising Makespan of Discrete Controllers: A Qualitative Approach

Castellano, Ezequiel, Braberman, Victor, D'Ippolito, Nicolas, Uchitel, Sebastian, Tei, Kenji

Year:

2019

File:

PDF, 535 KB

2019

36

Model-based quality assurance of protocol documentation: tools and methodology

Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Victor Braberman

Journal:

Software Testing, Verification and Reliability

Year:

2011

Language:

english

File:

PDF, 1.03 MB

english, 2011

37

Synthesizing nonanomalous event-based controllers for liveness goals

D'ippolito, Nicolás, Braberman, Victor, Piterman, Nir, Uchitel, Sebastián

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 570 KB

english, 2013

38

Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Ciolek, Daniel Alfredo, Braberman, Victor, D'Ippolito, Nicolas, Sardina, Sebastian, Uchitel, Sebastian

Journal:

IEEE Transactions on Automatic Control

Year:

2019

File:

PDF, 2.04 MB

2019

39

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Program abstractions for behaviour validation

de Caso, Guido, Braberman, Víctor, Garbervetsky, Diego, Uchitel, Sebastián

Year:

2011

Language:

english

File:

PDF, 559 KB

english, 2011

40

Synthesizing Modal Transition Systems from Triggered Scenarios

Sibay, German Emir, Braberman, Victor, Uchitel, Sebastian, Kramer, Jeff

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 2.83 MB

english, 2013

41

[ACM Press the ISSTA 2006 workshop - Portland, Maine (2006.07.17-2006.07.20)] Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis - ROSATEA '06 - A foundation for behavioural conformance in software product line architectures

Fischbein, Dario, Uchitel, Sebastian, Braberman, Victor

Year:

2006

Language:

english

File:

PDF, 226 KB

english, 2006

42

[ACM Press the 2005 OOPSLA workshop - San Diego, California (2005.10.16-2005.10.17)] Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05 - JScoper

Ferrari, Andrés, Garbervetsky, Diego, Braberman, Victor, Listingart, Pablo, Yovine, Sergio

Year:

2005

Language:

english

File:

PDF, 551 KB

english, 2005

43

[ACM Press Proceeding of the 1st workshop - Waikiki, Honolulu, HI, USA (2011.05.28-2011.05.28)] Proceeding of the 1st workshop on Developing tools as plug-ins - TOPI '11 - Contractor.NET

Zoppi, Edgardo, Braberman, Víctor, de Caso, Guido, Garbervetsky, Diego, Uchitel, Sebastián

Year:

2011

Language:

english

File:

PDF, 351 KB

english, 2011

44

Behaviour abstraction adequacy criteria for API call protocol testing

Czemerinski, Hernan, Braberman, Victor, Uchitel, Sebastian

Journal:

Software Testing, Verification and Reliability

Year:

2016

Language:

english

File:

PDF, 1.33 MB

english, 2016

45

Verification of real-time designs

Braberman, Victor A., Felder, Miguel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 1.15 MB

english, 1999

46

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - 2½-player generalized reactivity (1) games

Rodriguez, Natalia, Braberman, Victor, D'Ippolito, Nicolas, Uchitel, Sebastian

Year:

2016

Language:

english

File:

PDF, 359 KB

english, 2016

47

[ACM Press the 3rd international workshop - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 - Achieving both model and code coverage with automated gray-box testing

Kicillof, Nicolas, Grieskamp, Wolfgang, Tillmann, Nikolai, Braberman, Victor

Year:

2007

Language:

english

File:

PDF, 714 KB

english, 2007

48

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Existential live sequence charts revisited

Sibay, German, Uchitel, Sebastian, Braberman, Victor

Year:

2008

Language:

english

File:

PDF, 446 KB

english, 2008

49

[ACM Press the 1st International Workshop - Bergamo, Italy (2015.08.31-2015.08.31)] Proceedings of the 1st International Workshop on Control Theory for Software Engineering - CTSE 2015 - Robust degradation and enhancement of robot mission behaviour in unpredictable environments

D'Ippolito, Nicolas, Braberman, Victor, Sykes, Daniel, Uchitel, Sebastian

Year:

2015

Language:

english

File:

PDF, 727 KB

english, 2015

50

Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Ciolek, Daniel Alfredo, Braberman, Victor, D'Ippolito, Nicolas, Sardina, Sebastian, Uchitel, Sebastian

Journal:

IEEE Transactions on Automatic Control

Year:

2019

Language:

english

File:

PDF, 2.04 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски